翻訳と辞書
Words near each other
・ Davidson Institute of Science Education
・ Davidson Island
・ Davidson Kempner Capital Management
・ Davidson Lake
・ Davidson Lake Shelter Cabin
・ Davidson Leader
・ Davidson Masuku
・ Davidson Media Group
・ Davidson Morais
・ Davidson Municipal Airport
・ Davidson Ngibuini Kuguru
・ Davidson Nicol
・ Davide Rossi
・ Davide Rummolo
・ Davide Salvado
Davide Sangiorgi
・ Davide Sanguinetti
・ Davide Santon
・ Davide Saverino
・ Davide Scazzieri
・ Davide Simoncelli
・ Davide Simoncini
・ Davide Sinigaglia
・ Davide Somma
・ Davide Sorrenti
・ Davide Stirpe
・ Davide Succi
・ Davide Taini
・ Davide Tardozzi
・ Davide Tiso


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Davide Sangiorgi : ウィキペディア英語版
Davide Sangiorgi
Davide Sangiorgi is an Italian professor of computer science at the University of Bologna. He obtained his PhD from the University of Edinburgh. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts. His research interests are in the fields of concurrent systems, semantics and verification techniques.
== Selected publications ==

* Davide Sangiorgi, David Walker. ''The pi-calculus: a Theory of Mobile Processes''. Cambridge University Press.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Davide Sangiorgi」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.